Inter-Party Competition in Taiwan since the 1990s

Inter-Party Competition in Taiwan: Two Decades of Change and Continuity

Equity in Latin America Since the 1990s

Pedro Sáinz is a consultant for the Inter-American Development Bank, United Nations Development Programme (UNDP), Instituto Nacional de Estadisticas (INE) Chile and Instituto Brasileiro de Geografi a e Statistica (IBGE) on public information systems as well as on poverty analysis and policies. He was Director of the Economic Projections Centre and of the Statistical Division of the Economic Com...

Moore's Law, Competition and Intel's Productivity in the Mid-1990s Moore's Law, Competition and Intel's Productivity in the Mid-1990s

1 Ana Aizcorbe In the mid-1990s, measured productivity growth for the semiconductor industry showed a pickup that coincided with an economy-wide acceleration in labor productivity growth. This pickup in semiconductor markets stems from an increase in the growth of real output that was, in turn, generated by what Dale Jorgenson (2001) called an " inflection point " in the price indexes for the s...

Russian "world-class" Literature: Russian Detective Novels since the 1990s

In the 1990s the book market and the production and reception of literature in Russia radically changed, conforming to Western patterns. This transformation is mostly – and even from the side of scholars – estimated as an emancipatory development. But unlike vanguard postmodern literature, which considers and ironically reverses clichés and stereotypes, mass fiction provides unambiguous element...

Predator Hunting Party (Competition Contribution)

This paper introduces PredatorHP (Predator Hunting Party), a program verifier built on top of the Predator shape analyser, and discusses its participation in the SV-COMP’15 software verification competition. Predator is a sound shape analyser dealing with C programs with lists implemented via low-level pointer operations. PredatorHP uses Predator to prove programs safe while at the same time us...